Proceedings of the RESOLVE Workshop 2002
نویسندگان
چکیده
The "original" checked pointers component for C++ [Pike00] did a very good job of detecting many precondition violations for raw C++ pointers, including dereferencing a NULL or dangling pointer and deleting a dangling pointer. However, the syntax for invoking new and delete was slightly different than the standard syntax. These differences added extra confusion to student understanding of C++ pointers particularly when the student referenced commercial C++ books showing the standard syntax. This paper describes how we overloaded new and delete in order to make client usage of the checked pointers component conform to standard C++ syntax. Also described is how we added reference counts to detect storage leaks.
منابع مشابه
Talking about OSS: Making Sense of the Bazaar: 1st Workshop on Open Source Software Engineering - Workshop Report
متن کامل
Proceedings of the Resolve 2007 Workshop : Techniques and Tools for Verification and Instruction
At the Resolve ’06 Workshop, a new way of thinking about verification was introduced. There we identified two main tasks that must be performed in order to achieve verification of Resolve programs. One is proof checking: automated checking of proofs submitted as constituents for libraries of mathematical components. The other is code justification, which involves the automated application of pr...
متن کاملThe effects of educational workshops holds by EDC of Tehran University of Medical Sciences on the participant faculty
., life long learning is increasingly acknowledged to be a characteristic of professionalism. New information is being generated with increasing rapidity and educators must be able to cope with it. To study the effects of educational workshops hold by EDC of TUMS on the participant faculty. Methods. The subjects of this cross-sectional descriptive study were 375 faculty members of TUMS and ...
متن کاملRecent Experiences with Code Generation and Task Automation Agents in Software Tools
The 2002 Workshop on the State of the Art in Automated Software Engineering brought together leading researchers in the field to present their most recent or best work exemplifying automation in software engineering. The workshop focused on identifying emerging trends and challenges, such as: evolving requirements; software adaptability; validation of requirements and systems; complexity of sof...
متن کامل